Théorème de Kummer (coefficients binomiaux)

Un article de Wikipédia, l'encyclopédie libre.

En mathématiques, le théorème de Kummer donne une formule pour calculer le plus grand exposant d'une puissance d'un nombre premier divisant un coefficient binomial donné. En d'autres termes, il donne la valuation p-adique d'un coefficient binomial. Le théorème porte le nom d'Ernst Kummer, qui l'a démontré dans un article de 1852[1] .

Énoncé[modifier | modifier le code]

Le théorème de Kummer stipule que pour des entiers donnés et un nombre premier , la valuation p-adique est égale au nombre de retenues effectuées lors de l'addition de et en base p.

Une formulation équivalente du théorème est la suivante :

Le développement de l'entier en base étant , soit la somme de ses chiffres. Alors

Cette dernière expression s'obtient en écrivant sous la forme et en utilisant la formule de Legendre[2]: .

Exemples[modifier | modifier le code]

Pour calculer la plus grande puissance de 2 en divisant le coefficient binomial on écrit k = 3 et l = nk = 7 en base p = 2 : 3 = 112 et 7 = 1112 . Réaliser l'addition 112 + 1112 = 10102 en base 2 nécessitant trois retenues, la plus grande puissance de 2 qui divise est 23 .

Avec la deuxième expression, comme , , et , on obtient :

Applications[modifier | modifier le code]

On déduit de la première forme du théorème que est non multiple de si et seulement si la somme de deux chiffres de même rang dans les expressions en base de et ne dépasse jamais .

De manière équivalente, est multiple de si et seulement si au moins un chiffre de en base p est strictement plus grand que le chiffre correspondant de .

En particulier, est impair si et seulement si les expressions binaires de et ne présentent jamais deux 1 au même rang.

Si est pair, possède donc forcément un chiffre binaire égal à 0, et par contraposée, si a tous ses chiffres égaux à 1, autrement dit si , tous les sont impairs.

Généralisation aux coefficients multinomiaux[modifier | modifier le code]

Le théorème de Kummer peut être généralisé aux coefficients multinomiaux comme suit :

Voir aussi[modifier | modifier le code]

Références[modifier | modifier le code]

  1. (de) Ernst Kummer, « Über die Ergänzungssätze zu den allgemeinen Reciprocitätsgesetzen », Journal für die reine und angewandte Mathematik, vol. 1852, no 44,‎ , p. 93–146 (DOI 10.1515/crll.1852.44.93, lire en ligne)
  2. Mihet, « Legendre’s and Kummer’s Theorems Again », Resonance, vol. 15, no 12,‎ , p. 1111-1121 (lire en ligne)